$\forall$$A$, $B$, $C$:Type.  $A$ $\sim$ $B$ $\Rightarrow$  $C$$\rightarrow$$A$ $\sim$ $C$$\rightarrow$$B$